{
  "__LOCALS_IN_TRACEBACK__", "",
  "__ARRAY_RESERVED_WORD__", "",
  "__CFG_MAX_LOCAL_VARIABLES__", "25",
  "__NO_ADD_ACTION__", "",
  "__SUPPRESS_ARGUMENT_WARNINGS__", "",
  "__CALLOUT_HANDLES__", "",
  "__SAVE_EXTENSION__", "\".o\"",
  "__DEFAULT_PRAGMAS__", "( PRAGMA_WARNINGS + PRAGMA_STRICT_TYPES + \\",
  "__CONFIG_FILE_DIR__", "\"/usr/local/driver\"",
  "__HEARTBEAT_INTERVAL__", "2000000",
  "__NO_LIGHT__", "",
  "__SYSMALLOC__", "",
  "__RESTRICTED_ED__", "",
  "__ARGUMENTS_IN_TRACEBACK__", "",
  "__AUTO_TRUST_BACKBONE__", "",
  "__SMALL_STRING_SIZE__", "100",
  "__HEART_BEAT_CHUNK__", "32",
  "__PACKAGE_CONTRIB__", "",
  "__RECEIVE_SNOOP__", "",
  "__CACHE_STATS__", "",
  "__LARGE_STRING_SIZE__", "1000",
  "__APPLY_CACHE_BITS__", "11",
  "__BINARIES__", "",
  "__NO_ANSI__", "",
  "__SANE_EXPLODE_STRING__", "",
  "__CFG_MAX_CALL_DEPTH__", "100",
  "__LOG_CATCHES__", "",
  "__MAX_SAVE_SVALUE_DEPTH__", "25",
  "__MUDLIB_ERROR_HANDLER__", "",
  "__CFG_EVALUATOR_STACK_SIZE__", "1000",
  "__DROP_CORE__", "",
  "__CALLOUT_CYCLE_SIZE__", "32",
  "__PACKAGE_SOCKETS__", "",
  "__CFG_LIVING_HASH_SIZE__", "256",
  "__THIS_PLAYER_IN_CALL_OUT__", "",
  "__NONINTERACTIVE_STDERR_WRITE__", "",
  "__REF_RESERVED_WORD__", "",
  "__MESSAGE_BUFFER_SIZE__", "4096",
  "__STRIP_BEFORE_PROCESS_INPUT__", "",
  "__NEXT_MALLOC_DEBUG__", "",
  "__LARGEST_PRINTABLE_STRING__", "8192",
  "__PACKAGE_DEVELOP__", "",
  "__COMMAND_BUF_SIZE__", "2000",
  "__CFG_COMPILER_STACK_SIZE__", "200",
  "__PACKAGE_PARSER__", "",
  "__NO_WIZARDS__", "",
};

#define NUM_OPTION_DEFS 46

